Modelling probabilistic cache representativeness in the presence of arbitrary access patterns

Measurement-Based Probabilistic Timing Analysis (MBPTA) is a promising powerful industry-friendly method to derive worst-case execution time (WCET) estimates as needed for critical real-time embedded systems. MBPTA performs several (R) runs of the program on the target platform collecting the execution times in each run. MBPTA builds a probabilistic representativeness argument on whether those events with high impact on execution time, such as cache misses, arise on the runs made at analysis time so that their impact on execution time is captured. So far only events occurring in cache memories have been shown to challenge providing such representativeness argument. In this context, this paper introduces a representativeness validation method (RVS) to assess the probabilistic representativeness of MBPTA’s execution time observations in terms of cache behaviour. RVS resorts to cache simulation to predict worst-case miss scenarios that can appear during the deployment phase. RVS also constructs a probabilistic Worst-Case Miss Count curve based on the miss-counts captured in the R runs. If that curve upperbounds the impact of the predicted cache worst-case scenarios, R is deemed as a sufficient number of runs for which pWCET estimates can be reliably derived. Otherwise, the user is requested to perform more runs until all cache scenarios of interest are captured.Peer ReviewedPostprint (author's final draft

Microbial profiling of a suppressiveness-induced agricultural soil amended with composted almond shells lead to isolation of new biocontrol agents

Vida et al., 2016. Microbial profiling of a suppressiveness-induced agricultural soil amended with composted almond shells lead to isolation of new biocontrol agents. Biological and integrated control of plant pathogens IOBC-WPRS Bulletin Vol. 117, 2016 pp. 140-143This study focused on the microbial profile present in an agricultural soil that becomes suppressive after the application of composted almond shells (AS) as organic amendments. The role of microbes in the suppression of Rosellinia necatrix, the causative agent of avocado white root rot, was determined after heat-treatment and complementation experiments with different types of soil. Bacterial and fungal profiles based on the 16S rRNA gene and ITS sequencing, the soil under the influence of composted almond shells revealed an increase in Proteobacteria and Ascomycota groups, as well as a reduction in Acidobacteria and Xylariales (where R. necatrix is allocated). Complementary to these findings, functional analysis by GeoChip 4.6 confirmed the improvement of a group of specific probes included in the “soil benefit” category was present only in AS-amended soils, corresponding to specific microorganisms previously described as potential biocontrol agents, such as Pseudomonas spp., Burkholderia spp. or Actinobacteria. Based in such data, a model for the microbial-based suppressiveness is proposed and further isolation of representative microorganisms were performed.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V

As software continues to control more system-critical functions in cars, its timing is becoming an integral element in functional safety. Timing validation and verification (V&V) assesses softwares end-to-end timing measurements against given budgets. The advent of multicore processors with massive resource sharing reduces the significance of end-to-end execution times for timing V&V and requires reasoning on (worst-case) access delays on contention-prone hardware resources. While Performance Monitoring Units (PMU) support this finer-grained reasoning, their design has never been a prime consideration in high-performance processors - where automotive-chips PMU implementations descend from - since PMU does not directly affect performance or reliability. To meet PMUs instrumental importance for timing V&V, we advocate for PMUs in automotive chips that explicitly track activities related to worst-case (rather than average) softwares behavior, are recognized as an ISO-26262 mandatory high-integrity hardware service, and are accompanied with detailed documentation that enables their effective use to derive reliable timing estimatesThis work has also been partially supported by the Spanish Ministry of Economy and Competitiveness (MINECO) under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. Enrico Mezzet has been partially supported by the Spanish Ministry of Economy and Competitiveness under Juan de la Cierva-Incorporación postdoctoral fellowship number IJCI-2016- 27396.Peer ReviewedPostprint (author's final draft

Resilient random modulo cache memories for probabilistically-analyzable real-time systems

Fault tolerance has often been assessed separately in safety-related real-time systems, which may lead to inefficient solutions. Recently, Measurement-Based Probabilistic Timing Analysis (MBPTA) has been proposed to estimate Worst-Case Execution Time (WCET) on high performance hardware. The intrinsic probabilistic nature of MBPTA-commpliant hardware matches perfectly with the random nature of hardware faults. Joint WCET analysis and reliability assessment has been done so far for some MBPTA-compliant designs, but not for the most promising cache design: random modulo. In this paper we perform, for the first time, an assessment of the aging-robustness of random modulo and propose new implementations preserving the key properties of random modulo, a.k.a. low critical path impact, low miss rates and MBPTA compliance, while enhancing reliability in front of aging by achieving a better – yet random – activity distribution across cache sets.Peer ReviewedPostprint (author's final draft

Execution time distributions in embedded safety-critical systems using extreme value theory

Several techniques have been proposed to upper-bound the worst-case execution time behaviour of programs in the domain of critical real-time embedded systems. These computing systems have strong requirements regarding the guarantees that the longest execution time a program can take is bounded. Some of those techniques use extreme value theory (EVT) as their main prediction method. In this paper, EVT is used to estimate a high quantile for different types of execution time distributions observed for a set of representative programs for the analysis of automotive applications. A major challenge appears when the dataset seems to be heavy tailed, because this contradicts the previous assumption of embedded safety-critical systems. A methodology based on the coefficient of variation is introduced for a threshold selection algorithm to determine the point above which the distribution can be considered generalised Pareto distribution. This methodology also provides an estimation of the extreme value index and high quantile estimates. We have applied these methods to execution time observations collected from the execution of 16 representative automotive benchmarks to predict an upper-bound to the maximum execution time of this program. Several comparisons with alternative approaches are discussed.The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7/2007-2013] under the PROXIMA Project (grant agreement 611085). This study was also partially supported by the Spanish Ministry of Science and Innovation under grants MTM2012-31118 (2013-2015) and TIN2015-65316-P. Jaume Abella is partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013- 14717.Peer ReviewedPostprint (author's final draft

On the tailoring of CAST-32A certification guidance to real COTS multicore architectures

The use of Commercial Off-The-Shelf (COTS) multicores in real-time industry is on the rise due to multicores' potential performance increase and energy reduction. Yet, the unpredictable impact on timing of contention in shared hardware resources challenges certification. Furthermore, most safety certification standards target single-core architectures and do not provide explicit guidance for multicore processors. Recently, however, CAST-32A has been presented providing guidance for software planning, development and verification in multicores. In this paper, from a theoretical level, we provide a detailed review of CAST-32A objectives and the difficulty of reaching them under current COTS multicore design trends; at experimental level, we assess the difficulties of the application of CAST-32A to a real multicore processor, the NXP P4080.This work has been partially supported by the Spanish Ministry of Economy and Competitiveness (MINECO) under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal grant RYC-2013-14717.Peer ReviewedPostprint (author's final draft

Explaining dynamic cache partitioning speed ups

Cache partitioning has been proposed as an interesting alternative to traditional eviction policies of shared cache levels in modern CMP architectures: throughput is improved at the expense of a reasonable cost. However, these new policies present different behaviors depending on the applications that are running in the architecture. In this paper, we introduce some metrics that characterize applications and allow us to give a clear and simple model to explain final throughput speed ups.Peer ReviewedPostprint (published version

Deciphering the suppressive soil microbiota from an avocado crop

Comunicación en pósterDifferent strategies based on ecological principles have been approached in sustainable agriculture causing positive effects, including the induction of soil suppressiveness against a wide range of soilborne pathogens. Suppressiveness against the phytopathogenic fungus Rosellinia necatrix was observed after the application of composted almond shells in avocado crops. Previous works have analyzed the use of this traditional strategy and applied new microbial community analysis techniques in order to help in the identification of targeted sustainable agricultural strategies. These studies have focused on the microbial profile from an induced-suppressive soil where the soil microbiome had a proven essential role. Microbial profiles based on the 16S rRNA gene and ITS regions sequencing were analysed and an increase in Gammaproteobacteria and Dothideomycetes groups, as well as a reduction in Xylariales (where R. necatrix is allocated) were observed. These results led to the bacterial isolation of different groups of Gammaproteobacteria from this suppressive soil in order to identify new strains with biological control properties. Different characterization tests were performed, and a final selection of representative strains belonging to the genus Pseudomonas and related groups showed, all of them, plant disease protection abilities. Moreover, using previously described biological control agents against R. necatrix, a bacterial synthetic community have been design in order to improve the knowledge of the multitrophic interactions that occur during biological control process.This work was supported by Plan Nacional I+D+I (MINECO, Spain) (AGL2014-52518-C2-IR) and co-financed by FEDER funds (EU). C.Vida was supported by a PhD fellowship from the FPI program of MINECO. Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Isolation, characterization and selection of Pseudomonas spp. as biological control agents from a suppressive soil

Bacterial profile from a suppressive soil against Rosellinia necatrix, fungal pathogen of avocado roots, were obtained by 16S rRNA gene sequencing. The results revealed a significant increase in the bacterial class of Gammaproteobacteria, especially in some antagonistic representatives of Pseudomonas spp. For this reason, a collection of 246 bacterial isolates was obtained from this suppressive soil in order to identify new strains with antifungal activity against this fungal phytopathogen. First, we performed an isolation on a selective medium for Pseudomonas-like microorganisms. Then, we used different characterization tests in order to analyse the bacterial collection, including the identification of the general metabolic profile of glucose, the profiling of antifungals produced, both the putative production of antifungal compounds and lytic exoenzymes, as well as the evaluation of traits related with beneficial effects on plants. A final selection of representative strains resulted in antifungal isolates belonging to the genus Pseudomonas and related groups. These selected strains were tested for plant protection by an in vivo experiment using avocado and wheat plants challenged by the pathogen R. necatrix, showing all of them an antifungal ability and plant disease protection.This work was supported by Plan Nacional I+D+I from MINECO (Spain) (AGL2014-52518-C2-IR) and co-financed by FEDER funds (EU). C.Vida was supported by a PhD fellowship from the FPI program of MINECO.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech